#include "cpu/exec/helper.h"

make_helper(leave){
    cpu.esp =cpu.ebp;
    cpu.ebp =swaddr_read(cpu.esp, 4);
    cpu.esp +=4;

    print_asm("leave");
    return 1;
}